Indeed, "water (ritual washing) is obligatory after water (ejaculation)", was only a mitigation in the early days of Islam, then it became forbidden. (1) Footnote: (1) It was abrogated, and (ritual) washing became obligatory when sexual intercourse occurs, even with no ejaculation.